Section: Partnerships and Cooperations
National Initiatives
ANR Malthy
Participants : Axel Legay, Rudolf Fahrenberg, Louis-Marie Traonouez.
The objective of this project is to study new models and techniques to reason on quantitative systems. We mainly focus on the composition of timed components in a dynamic setting.
BGLE SyS2Soft
Participants : Axel Legay, Thomas Given-Wilson, Cyrille Jegourel.
This national project studies various languages and techniques for quantitative systems.